epi 射
epic。epimorphism。全型射
エピ射 - Wikipedia
epimorphism in nLab
圈
の射
$ f:X\twoheadrightarrow Y
は、反圖式順で
右簡約律
$ g_1\circ f=g_2\circ f\implies g_1=g_2
を滿たすならば
epi 射
である
圈論的雙對
は
mono 射
集合の圈
で
epi 射
は
全射
である
mono 射
は多くの
圈
で
單射
っぽいが、
epi 射
は多くの
圈
で
全射
っぽく振る舞はない
正則 epi 射 (regular epimorphism)
正則エピ射の解説 | Mathpedia
regular epimorphism in nLab
餘等化子
$ (E,e)
の射
$ e
を言ふ
正則圈 (regular category)
正則圏の解説 | Mathpedia
Regular category - Wikipedia
regular category in nLab
分裂 epi 射
分裂エピックと分裂モニック (split epic / monic) - TakuLabo
split epimorphism in nLab
effective epimorphism in nLab